java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files pacman.nm --model-input-type prism --property-input-files pacman.props --property-input-names crash --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const MAXSTEPS=100
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property crash
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2837 2837
build-model-states-explored 6009 3172
build-model-states-explored 9137 3128
build-model-states-explored 12311 3174
build-model-states-explored 15265 2954
build-model-states-explored 18935 3670
build-model-states-explored 22176 3241
build-model-states-explored 25154 2978
build-model-states-explored 28080 2926
build-model-states-explored 31079 2999
build-model-states-explored 34306 3227
build-model-states-explored 38096 3790
build-model-states-explored 41615 3519
build-model-states-explored 44597 2982
build-model-states-explored 47575 2978
build-model-states-explored 50540 2965
build-model-states-explored 53529 2989
build-model-states-explored 56382 2853
build-model-states-explored 59373 2991
build-model-states-explored 62367 2994
build-model-states-explored 65865 3498
build-model-states-explored 69661 3796
build-model-states-explored 73469 3808
build-model-states-explored 77265 3796
build-model-states-explored 80463 3198
build-model-states-explored 83445 2982
build-model-states-explored 86424 2979
build-model-states-explored 89408 2984
build-model-states-explored 92391 2983
build-model-states-explored 95378 2987
build-model-states-explored 98333 2955
build-model-states-explored 101335 3002
build-model-states-explored 104333 2998
build-model-states-explored 107329 2996
build-model-states-explored 110049 2720
build-model-states-explored 113040 2991
build-model-states-explored 116037 2997
build-model-states-explored 119029 2992
build-model-states-explored 122575 3546
build-model-states-explored 126390 3815
build-model-states-explored 130176 3786
build-model-states-explored 133956 3780
build-model-states-explored 137727 3771
build-model-states-explored 141532 3805
build-model-states-explored 145144 3612
build-model-states-explored 148122 2978
build-model-states-explored 151100 2978
build-model-states-explored 154079 2979
build-model-states-explored 157062 2983
build-model-states-explored 160040 2978
build-model-states-explored 163009 2969
build-model-states-explored 165990 2981
build-model-states-explored 168972 2982
build-model-states-explored 171954 2982
build-model-states-explored 174939 2985
build-model-states-explored 177923 2984
build-model-states-explored 180916 2993
build-model-states-explored 183912 2996
build-model-states-explored 186870 2958
build-model-states-explored 189859 2989
build-model-states-explored 192853 2994
build-model-states-explored 195806 2953
build-model-states-explored 198801 2995
build-model-states-explored 201771 2970
build-model-states-explored 204724 2953
build-model-states-explored 207706 2982
build-model-states-explored 210684 2978
build-model-states-explored 213890 3206
build-model-states-explored 216932 3042
build-model-states-explored 220732 3800
build-model-states-explored 224533 3801
build-model-states-explored 228310 3777
build-model-states-explored 232117 3807
build-model-states-explored 235907 3790
build-model-states-explored 239683 3776
build-model-states-explored 243471 3788
build-model-states-explored 247267 3796
build-model-states-explored 251064 3797
build-model-states-explored 254443 3379
build-model-states-explored 257419 2976
build-model-states-explored 260390 2971
build-model-states-explored 263325 2935
build-model-states-explored 266306 2981
build-model-states-explored 269284 2978
build-model-states-explored 272266 2982
build-model-states-explored 275248 2982
build-model-states-explored 278230 2982
build-model-states-explored 281210 2980
build-model-states-explored 284192 2982
build-model-states-explored 287172 2980
build-model-states-explored 290152 2980
build-model-states-explored 293134 2982
build-model-states-explored 296111 2977
build-model-states-explored 299092 2981
build-model-states-explored 302078 2986
build-model-states-explored 305045 2967
build-model-states-explored 308035 2990
build-model-states-explored 311024 2989
build-model-states-explored 314015 2991
build-model-states-explored 317005 2990
build-model-states-explored 319992 2987
build-model-states-explored 322983 2991
build-model-states-explored 325979 2996
build-model-states-explored 328976 2997
build-model-states-explored 331970 2994
build-model-states-explored 334943 2973
build-model-states-explored 337938 2995
build-model-states-explored 340935 2997
build-model-states-explored 343933 2998
build-model-states-explored 346930 2997
build-model-states-explored 349927 2997
build-model-states-explored 352923 2996
build-model-states-explored 355919 2996
build-model-states-explored 358912 2993
build-model-states-explored 362352 3440
build-model-states-explored 366162 3810
build-model-states-explored 369958 3796
build-model-states-explored 373772 3814
build-model-states-explored 377587 3815
build-model-states-explored 381369 3782
build-model-states-explored 385034 3665
build-model-states-explored 388836 3802
build-model-states-explored 392631 3795
build-model-states-explored 396437 3806
build-model-states-explored 400204 3767
build-model-states-explored 403995 3791
build-model-states-explored 407798 3803
build-model-states-explored 410207 2409
build-model-states-explored 414004 3797
build-model-states-explored 417802 3798
build-model-states-explored 421432 3630
build-model-states-explored 424412 2980
build-model-states-explored 427394 2982
build-model-states-explored 430378 2984
build-model-states-explored 433357 2979
build-model-states-explored 436341 2984
build-model-states-explored 439324 2983
build-model-states-explored 442307 2983
build-model-states-explored 445285 2978
build-model-states-explored 448267 2982
build-model-states-explored 451248 2981
build-model-states-explored 454230 2982
build-model-states-explored 457208 2978
build-model-states-explored 460189 2981
build-model-states-explored 463157 2968
build-model-states-explored 466140 2983
build-model-states-explored 469117 2977
build-model-states-explored 472096 2979
build-model-states-explored 475079 2983
build-model-states-explored 478059 2980
build-model-states-explored 481044 2985
build-model-states-explored 484026 2982
build-model-states-explored 487007 2981
build-model-states-explored 489987 2980
build-model-states-explored 492968 2981
build-model-states-explored 495947 2979
build-model-states-explored 498936 2989
build-model-states-explored 501933 2997
build-model-states-explored 504930 2997
build-model-states-explored 507926 2996
build-model-states-explored 510922 2996
build-model-states-explored 513920 2998
build-model-states-explored 516917 2997
build-model-states-explored 519913 2996
build-model-states-explored 522904 2991
build-model-states-explored 525821 2917
build-model-states-explored 528816 2995
build-model-states-explored 531810 2994
build-model-states-explored 534805 2995
build-model-states-explored 537800 2995
build-model-states-explored 540794 2994
build-model-states-explored 543791 2997
build-model-states-explored 546785 2994
build-model-states-explored 549779 2994
build-model-states-explored 552775 2996
build-model-states-explored 555772 2997
build-model-states-explored 558768 2996
build-model-states-explored 561764 2996
build-model-states-explored 564762 2998
build-model-states-explored 567753 2991
build-model-states-explored 570749 2996
build-model-states-explored 573743 2994
build-model-states-explored 576736 2993
build-model-states-explored 580330 3594
build-model-states-explored 584120 3790
build-model-states-explored 587904 3784
build-model-states-explored 591697 3793
build-model-states-explored 595492 3795
build-model-states-explored 599284 3792
build-model-states-explored 603086 3802
build-model-states-explored 606858 3772
build-model-states-explored 610643 3785
build-model-states-explored 614445 3802
build-model-states-explored 618249 3804
build-model-states-explored 622046 3797
build-model-states-explored 625840 3794
build-model-states-explored 629645 3805
build-model-states-explored 633409 3764
build-model-states-explored 637181 3772
build-model-states-explored 640989 3808
build-model-states-explored 644781 3792
build-model-states-explored 648573 3792
build-model-states-explored 652368 3795
build-model-states-explored 656158 3790
build-model-states-explored 659955 3797
build-model-states-explored 663556 3601
build-model-states-explored 666521 2965
build-model-states-explored 669495 2974
build-model-states-explored 672466 2971
build-model-states-explored 675433 2967
build-model-states-explored 678405 2972
build-model-states-explored 681329 2924
build-model-states-explored 684303 2974
build-model-states-explored 687282 2979
build-model-states-explored 690256 2974
build-model-states-explored 693235 2979
build-model-states-explored 696209 2974
build-model-states-explored 699183 2974
build-model-states-explored 702130 2947
build-model-states-explored 705111 2981
build-model-states-explored 708083 2972
build-model-states-explored 711063 2980
build-model-states-explored 714047 2984
build-model-states-explored 717022 2975
build-model-states-explored 719996 2974
build-model-states-explored 722977 2981
build-model-states-explored 725957 2980
build-model-states-explored 728934 2977
build-model-states-explored 731912 2978
build-model-states-explored 734892 2980
build-model-states-explored 737875 2983
build-model-states-explored 740858 2983
build-model-states-explored 743838 2980
build-model-states-explored 746817 2979
build-model-states-explored 749799 2982
build-model-states-explored 752781 2982
build-model-states-explored 755766 2985
build-model-states-explored 758753 2987
build-model-states-explored 761737 2984
build-model-states-explored 764716 2979
build-model-states-explored 767517 2801
build-model-states-explored 770508 2991
build-model-states-explored 773499 2991
build-model-states-explored 776494 2995
build-model-states-explored 779489 2995
build-model-states-explored 782478 2989
build-model-states-explored 785469 2991
build-model-states-explored 788465 2996
build-model-states-explored 791454 2989
build-model-states-explored 794452 2998
build-model-states-explored 797445 2993
build-model-states-explored 800437 2992
build-model-states-explored 803429 2992
build-model-states-explored 806419 2990
build-model-states-explored 809409 2990
build-model-states-explored 812401 2992
build-model-states-explored 815394 2993
build-model-states-explored 818387 2993
build-model-states-explored 821385 2998
build-model-states-explored 824382 2997
build-model-states-explored 827372 2990
build-model-states-explored 830367 2995
build-model-states-explored 833363 2996
build-model-states-explored 836356 2993
build-model-states-explored 839350 2994
build-model-states-explored 842342 2992
build-model-states-explored 845338 2996
build-model-states-explored 848335 2997
build-model-states-explored 851332 2997
build-model-states-explored 854328 2996
build-model-states-explored 856587 2259
build-model-states-explored 858125 1538
build-model-states-explored 861120 2995
build-model-states-explored 864114 2994
build-model-states-explored 867110 2996
build-model-states-explored 870106 2996
build-model-states-explored 873102 2996
build-model-states-explored 876097 2995
build-model-states-explored 879233 3136
build-model-states-explored 883021 3788
build-model-states-explored 886825 3804
build-model-states-explored 890617 3792
build-model-states-explored 894421 3804
build-model-states-explored 898215 3794
build-model-states-explored 902002 3787
build-model-states-explored 905804 3802
build-model-states-explored 909614 3810
build-model-states-explored 913415 3801
build-model-states-explored 917216 3801
build-model-states-explored 920963 3747
build-model-states-explored 924762 3799
build-model-states-explored 928563 3801
build-model-states-explored 932361 3798
build-model-states-explored 936149 3788
build-model-states-explored 939962 3813
build-model-states-explored 943770 3808
build-model-states-explored 947558 3788
build-model-states-explored 951359 3801
build-model-states-explored 955162 3803
build-model-states-explored 958930 3768
build-model-states-explored 962705 3775
build-model-states-explored 966513 3808
build-model-states-explored 970318 3805
build-model-states-explored 974112 3794
build-model-states-explored 977906 3794
build-model-states-explored 981705 3799
build-model-states-explored 985489 3784
build-model-states-explored 989281 3792
build-model-states-explored 993083 3802
build-model-states-explored 996457 3374
build-model-states-explored 999434 2977
build-model-states-explored 1002412 2978
build-model-states-explored 1005393 2981
build-model-states-explored 1008373 2980
build-model-states-explored 1011338 2965
build-model-states-explored 1014309 2971
build-model-states-explored 1017280 2971
build-model-states-explored 1020250 2970
build-model-states-explored 1023228 2978
build-model-states-explored 1026207 2979
build-model-states-explored 1029187 2980
build-model-states-explored 1032170 2983
build-model-states-explored 1035154 2984
build-model-states-explored 1038133 2979
build-model-states-explored 1041112 2979
build-model-states-explored 1044094 2982
build-model-states-explored 1047072 2978
build-model-states-explored 1049897 2825
build-model-states-explored 1052876 2979
build-model-states-explored 1055836 2960
build-model-states-explored 1058811 2975
build-model-states-explored 1061792 2981
build-model-states-explored 1064774 2982
build-model-states-explored 1067759 2985
build-model-states-explored 1070722 2963
build-model-states-explored 1073702 2980
build-model-states-explored 1076682 2980
build-model-states-explored 1079664 2982
build-model-states-explored 1082643 2979
build-model-states-explored 1085626 2983
build-model-states-explored 1088603 2977
build-model-states-explored 1091575 2972
build-model-states-explored 1094555 2980
build-model-states-explored 1097538 2983
build-model-states-explored 1100517 2979
build-model-states-explored 1103500 2983
build-model-states-explored 1106478 2978
build-model-states-explored 1109456 2978
build-model-states-explored 1112436 2980
build-model-states-explored 1115419 2983
build-model-states-explored 1118397 2978
build-model-states-explored 1121378 2981
build-model-states-explored 1124359 2981
build-model-states-explored 1127344 2985
build-model-states-explored 1130324 2980
build-model-states-explored 1133311 2987
build-model-states-explored 1136292 2981
build-model-states-explored 1139284 2992
build-model-states-explored 1142237 2953
build-model-states-explored 1145227 2990
build-model-states-explored 1148224 2997
build-model-states-explored 1151216 2992
build-model-states-explored 1154208 2992
build-model-states-explored 1157168 2960
build-model-states-explored 1160116 2948
build-model-states-explored 1163100 2984
build-model-states-explored 1166073 2973
build-model-states-explored 1169045 2972
build-model-states-explored 1171988 2943
build-model-states-explored 1174978 2990
build-model-states-explored 1177972 2994
build-model-states-explored 1180966 2994
build-model-states-explored 1183960 2994
build-model-states-explored 1186955 2995
build-model-states-explored 1189944 2989
build-model-states-explored 1192936 2992
build-model-states-explored 1195930 2994
build-model-states-explored 1198922 2992
build-model-states-explored 1201905 2983
build-model-states-explored 1204898 2993
build-model-states-explored 1207892 2994
build-model-states-explored 1210886 2994
build-model-states-explored 1213882 2996
build-model-states-explored 1216876 2994
build-model-states-explored 1219868 2992
build-model-states-explored 1222861 2993
build-model-states-explored 1225857 2996
build-model-states-explored 1228843 2986
build-model-states-explored 1231838 2995
build-model-states-explored 1234824 2986
build-model-states-explored 1237820 2996
build-model-states-explored 1240812 2992
build-model-states-explored 1243805 2993
build-model-states-explored 1246797 2992
build-model-states-explored 1249788 2991
build-model-states-explored 1252784 2996
build-model-states-explored 1255780 2996
build-model-states-explored 1258775 2995
build-model-states-explored 1261770 2995
build-model-states-explored 1264766 2996
build-model-states-explored 1267762 2996
build-model-states-explored 1270757 2995
build-model-states-explored 1273751 2994
build-model-states-explored 1276748 2997
build-model-states-explored 1279743 2995
build-model-states-explored 1282851 3108
build-model-states-explored 1286623 3772
build-model-states-explored 1290421 3798
build-model-states-explored 1294224 3803
build-model-states-explored 1298026 3802
build-model-states-explored 1301831 3805
build-model-states-explored 1305632 3801
build-model-states-explored 1309437 3805
build-model-states-explored 1313250 3813
build-model-states-explored 1317051 3801
build-model-states-explored 1320851 3800
build-model-states-explored 1324648 3797
build-model-states-explored 1328461 3813
build-model-states-explored 1332268 3807
build-model-states-explored 1336056 3788
build-model-states-explored 1339845 3789
build-model-states-explored 1343593 3748
build-model-states-explored 1347392 3799
build-model-states-explored 1351208 3816
build-model-states-explored 1355005 3797
build-model-states-explored 1358803 3798
build-model-states-explored 1362604 3801
build-model-states-explored 1366392 3788
build-model-states-explored 1370205 3813
build-model-states-explored 1374008 3803
build-model-states-explored 1377812 3804
build-model-states-explored 1381604 3792
build-model-states-explored 1385406 3802
build-model-states-explored 1389192 3786
build-model-states-explored 1392962 3770
build-model-states-explored 1396614 3652
build-model-states-explored 1400395 3781
build-model-states-explored 1404199 3804
build-model-states-explored 1408006 3807
build-model-states-explored 1411809 3803
build-model-states-explored 1415607 3798
build-model-states-explored 1419412 3805
build-model-states-explored 1423206 3794
build-model-states-explored 1427008 3802
build-model-states-explored 1430790 3782
build-model-states-explored 1434593 3803
build-model-states-explored 1437687 3094
build-model-states-explored 1440666 2979
build-model-states-explored 1443645 2979
build-model-states-explored 1446618 2973
build-model-states-explored 1449597 2979
build-model-states-explored 1452575 2978
build-model-states-explored 1455555 2980
build-model-states-explored 1458536 2981
build-model-states-explored 1461517 2981
build-model-states-explored 1464500 2983
build-model-states-explored 1467482 2982
build-model-states-explored 1470463 2981
build-model-states-explored 1473445 2982
build-model-states-explored 1476418 2973
build-model-states-explored 1479397 2979
build-model-states-explored 1482373 2976
build-model-states-explored 1485356 2983
build-model-states-explored 1488339 2983
build-model-states-explored 1491320 2981
build-model-states-explored 1494303 2983
build-model-states-explored 1497277 2974
build-model-states-explored 1500251 2974
build-model-states-explored 1503229 2978
build-model-states-explored 1506209 2980
build-model-states-explored 1509184 2975
build-model-states-explored 1512163 2979
build-model-states-explored 1515135 2972
build-model-states-explored 1518113 2978
build-model-states-explored 1520738 2625
build-model-states-explored 1523717 2979
build-model-states-explored 1526689 2972
build-model-states-explored 1529666 2977
build-model-states-explored 1532641 2975
build-model-states-explored 1535625 2984
build-model-states-explored 1538605 2980
build-model-states-explored 1541602 2997
build-model-states-explored 1544580 2978
build-model-states-explored 1547555 2975
build-model-states-explored 1550530 2975
build-model-states-explored 1553504 2974
build-model-states-explored 1556480 2976
build-model-states-explored 1559455 2975
build-model-states-explored 1562436 2981
build-model-states-explored 1565418 2982
build-model-states-explored 1568391 2973
build-model-states-explored 1571369 2978
build-model-states-explored 1574352 2983
build-model-states-explored 1577330 2978
build-model-states-explored 1580308 2978
build-model-states-explored 1583283 2975
build-model-states-explored 1586254 2971
build-model-states-explored 1589230 2976
build-model-states-explored 1592205 2975
build-model-states-explored 1595176 2971
build-model-states-explored 1598155 2979
build-model-states-explored 1601136 2981
build-model-states-explored 1604110 2974
build-model-states-explored 1607093 2983
build-model-states-explored 1610075 2982
build-model-states-explored 1613055 2980
build-model-states-explored 1616050 2995
build-model-states-explored 1619047 2997
build-model-states-explored 1622042 2995
build-model-states-explored 1625038 2996
build-model-states-explored 1628033 2995
build-model-states-explored 1631025 2992
build-model-states-explored 1634020 2995
build-model-states-explored 1636987 2967
build-model-states-explored 1639980 2993
build-model-states-explored 1642976 2996
build-model-states-explored 1645972 2996
build-model-states-explored 1648964 2992
build-model-states-explored 1651960 2996
build-model-states-explored 1654959 2999
build-model-states-explored 1657954 2995
build-model-states-explored 1660952 2998
build-model-states-explored 1663944 2992
build-model-states-explored 1666939 2995
build-model-states-explored 1669929 2990
build-model-states-explored 1672921 2992
build-model-states-explored 1675917 2996
build-model-states-explored 1678913 2996
build-model-states-explored 1681910 2997
build-model-states-explored 1684902 2992
build-model-states-explored 1687896 2994
build-model-states-explored 1690887 2991
build-model-states-explored 1692292 1405
build-model-states-explored 1692469 177
build-model-states-explored 1695464 2995
build-model-states-explored 1698458 2994
build-model-states-explored 1701452 2994
build-model-states-explored 1704448 2996
build-model-states-explored 1707441 2993
build-model-states-explored 1710436 2995
build-model-states-explored 1713430 2994
build-model-states-explored 1716421 2991
build-model-states-explored 1719414 2993
build-model-states-explored 1722406 2992
build-model-states-explored 1725399 2993
build-model-states-explored 1728396 2997
build-model-states-explored 1731385 2989
build-model-states-explored 1734376 2991
build-model-states-explored 1737371 2995
build-model-states-explored 1740367 2996
build-model-states-explored 1743356 2989
build-model-states-explored 1746351 2995
build-model-states-explored 1749346 2995
build-model-states-explored 1752341 2995
build-model-states-explored 1755323 2982
build-model-states-explored 1758318 2995
build-model-states-explored 1761312 2994
build-model-states-explored 1764303 2991
build-model-states-explored 1767295 2992
build-model-states-explored 1770289 2994
build-model-states-explored 1773284 2995
build-model-states-explored 1776277 2993
build-model-states-explored 1779266 2989
build-model-states-explored 1782258 2992
build-model-states-explored 1785254 2996
build-model-states-explored 1788247 2993
build-model-states-explored 1791242 2995
build-model-states-explored 1794234 2992
build-model-states-explored 1797227 2993
build-model-states-explored 1800271 3044
build-model-states-explored 1804039 3768
build-model-states-explored 1807807 3768
build-model-states-explored 1811601 3794
build-model-states-explored 1815405 3804
build-model-states-explored 1819217 3812
build-model-states-explored 1823013 3796
build-model-states-explored 1826814 3801
build-model-states-explored 1830608 3794
build-model-states-explored 1834401 3793
build-model-states-explored 1838200 3799
build-model-states-explored 1842001 3801
build-model-states-explored 1845809 3808
build-model-states-explored 1849617 3808
build-model-states-explored 1853417 3800
build-model-states-explored 1857218 3801
build-model-states-explored 1861025 3807
build-model-states-explored 1864827 3802
build-model-states-explored 1868630 3803
build-model-states-explored 1872424 3794
build-model-states-explored 1876212 3788
build-model-states-explored 1879989 3777
build-model-states-explored 1883748 3759
build-model-states-explored 1887552 3804
build-model-states-explored 1891357 3805
build-model-states-explored 1895172 3815
build-model-states-explored 1898965 3793
build-model-states-explored 1902781 3816
build-model-states-explored 1906588 3807
build-model-states-explored 1910401 3813
build-model-states-explored 1914200 3799
build-model-states-explored 1917992 3792
build-model-states-explored 1921804 3812
build-model-states-explored 1925603 3799
build-model-states-explored 1929415 3812
build-model-states-explored 1933211 3796
build-model-states-explored 1937015 3804
build-model-states-explored 1940822 3807
build-model-states-explored 1944613 3791
build-model-states-explored 1948406 3793
build-model-states-explored 1952188 3782
build-model-states-explored 1955974 3786
build-model-states-explored 1959770 3796
build-model-states-explored 1963578 3808
build-model-states-explored 1967376 3798
build-model-states-explored 1971173 3797
build-model-states-explored 1974981 3808
build-model-states-explored 1978787 3806
build-model-states-explored 1982586 3799
build-model-states-explored 1986382 3796
build-model-states-explored 1990175 3793
build-model-states-explored 1993646 3471
build-model-states-explored 1996618 2972
build-model-states-explored 1999592 2974
build-model-states-explored 2002569 2977
build-model-states-explored 2005539 2970
build-model-states-explored 2008514 2975
build-model-states-explored 2011488 2974
build-model-states-explored 2014463 2975
build-model-states-explored 2017446 2983
build-model-states-explored 2020422 2976
build-model-states-explored 2023396 2974
build-model-states-explored 2026373 2977
build-model-states-explored 2029346 2973
build-model-states-explored 2032320 2974
build-model-states-explored 2035292 2972
build-model-states-explored 2038277 2985
build-model-states-explored 2041254 2977
build-model-states-explored 2044226 2972
build-model-states-explored 2047204 2978
build-model-states-explored 2050186 2982
build-model-states-explored 2053166 2980
build-model-states-explored 2056145 2979
build-model-states-explored 2059125 2980
build-model-states-explored 2062098 2973
build-model-states-explored 2065079 2981
build-model-states-explored 2068059 2980
build-model-states-explored 2071038 2979
build-model-states-explored 2074016 2978
build-model-states-explored 2076997 2981
build-model-states-explored 2079976 2979
build-model-states-explored 2082943 2967
build-model-states-explored 2085914 2971
build-model-states-explored 2088892 2978
build-model-states-explored 2091875 2983
build-model-states-explored 2094851 2976
build-model-states-explored 2097515 2664
build-model-states-explored 2100496 2981
build-model-states-explored 2103477 2981
build-model-states-explored 2106425 2948
build-model-states-explored 2109396 2971
build-model-states-explored 2112372 2976
build-model-states-explored 2115356 2984
build-model-states-explored 2118338 2982
build-model-states-explored 2121293 2955
build-model-states-explored 2124234 2941
build-model-states-explored 2127201 2967
build-model-states-explored 2130163 2962
build-model-states-explored 2133114 2951
build-model-states-explored 2136059 2945
build-model-states-explored 2139040 2981
build-model-states-explored 2142019 2979
build-model-states-explored 2144998 2979
build-model-states-explored 2147977 2979
build-model-states-explored 2150954 2977
build-model-states-explored 2153927 2973
build-model-states-explored 2156889 2962
build-model-states-explored 2159865 2976
build-model-states-explored 2162847 2982
build-model-states-explored 2165823 2976
build-model-states-explored 2168804 2981
build-model-states-explored 2171786 2982
build-model-states-explored 2174771 2985
build-model-states-explored 2177753 2982
build-model-states-explored 2180737 2984
build-model-states-explored 2183717 2980
build-model-states-explored 2186698 2981
build-model-states-explored 2189681 2983
build-model-states-explored 2192653 2972
build-model-states-explored 2195625 2972
build-model-states-explored 2198600 2975
build-model-states-explored 2201574 2974
build-model-states-explored 2204555 2981
build-model-states-explored 2207539 2984
build-model-states-explored 2210523 2984
build-model-states-explored 2213509 2986
build-model-states-explored 2216499 2990
build-model-states-explored 2219490 2991
build-model-states-explored 2222482 2992
build-model-states-explored 2225473 2991
build-model-states-explored 2228464 2991
build-model-states-explored 2231452 2988
build-model-states-explored 2234443 2991
build-model-states-explored 2237437 2994
build-model-states-explored 2240427 2990
build-model-states-explored 2243425 2998
build-model-states-explored 2246418 2993
build-model-states-explored 2249413 2995
build-model-states-explored 2252401 2988
build-model-states-explored 2255386 2985
build-model-states-explored 2258382 2996
build-model-states-explored 2261375 2993
build-model-states-explored 2264366 2991
build-model-states-explored 2267356 2990
build-model-states-explored 2270347 2991
build-model-states-explored 2273339 2992
build-model-states-explored 2276334 2995
build-model-states-explored 2279326 2992
build-model-states-explored 2282321 2995
build-model-states-explored 2285317 2996
build-model-states-explored 2288307 2990
build-model-states-explored 2291302 2995
build-model-states-explored 2294290 2988
build-model-states-explored 2297284 2994
build-model-states-explored 2300275 2991
build-model-states-explored 2303264 2989
build-model-states-explored 2306253 2989
build-model-states-explored 2309245 2992
build-model-states-explored 2312236 2991
build-model-states-explored 2315229 2993
build-model-states-explored 2318223 2994
build-model-states-explored 2321217 2994
build-model-states-explored 2324209 2992
build-model-states-explored 2327204 2995
build-model-states-explored 2330196 2992
build-model-states-explored 2333189 2993
build-model-states-explored 2336185 2996
build-model-states-explored 2339177 2992
build-model-states-explored 2342171 2994
build-model-states-explored 2345168 2997
build-model-states-explored 2348165 2997
build-model-states-explored 2351157 2992
build-model-states-explored 2354152 2995
build-model-states-explored 2357149 2997
build-model-states-explored 2360141 2992
build-model-states-explored 2363138 2997
build-model-states-explored 2366132 2994
build-model-states-explored 2369124 2992
build-model-states-explored 2372119 2995
build-model-states-explored 2375110 2991
build-model-states-explored 2378102 2992
build-model-states-explored 2381094 2992
build-model-states-explored 2384087 2993
build-model-states-explored 2387081 2994
build-model-states-explored 2390076 2995
build-model-states-explored 2393069 2993
build-model-states-explored 2396064 2995
build-model-states-explored 2399059 2995
build-model-states-explored 2402051 2992
build-model-states-explored 2405047 2996
build-model-states-explored 2408042 2995
build-model-states-explored 2411033 2991
build-model-states-explored 2414024 2991
build-model-states-explored 2417018 2994
build-model-states-explored 2420012 2994
build-model-states-explored 2423008 2996
build-model-states-explored 2426002 2994
build-model-states-explored 2428998 2996
build-model-states-explored 2431998 3000
build-model-states-explored 2434995 2997
build-model-states-explored 2438379 3384
build-model-states-explored 2442166 3787
build-model-states-explored 2445959 3793
build-model-states-explored 2449740 3781
build-model-states-explored 2453544 3804
build-model-states-explored 2457356 3812
build-model-states-explored 2461168 3812
build-model-states-explored 2464983 3815
build-model-states-explored 2468792 3809
build-model-states-explored 2472587 3795
build-model-states-explored 2476397 3810
build-model-states-explored 2480217 3820
build-model-states-explored 2484024 3807
build-model-states-explored 2487825 3801
build-model-states-explored 2491617 3792
build-model-states-explored 2495361 3744
build-model-states-explored 2499172 3811
build-model-states-explored 2502977 3805
build-model-states-explored 2506778 3801
build-model-states-explored 2510577 3799
build-model-states-explored 2514368 3791
build-model-states-explored 2518159 3791
build-model-states-explored 2521963 3804
build-model-states-explored 2525765 3802
build-model-states-explored 2529567 3802
build-model-states-explored 2533358 3791
build-model-states-explored 2537156 3798
build-model-states-explored 2540965 3809
build-model-states-explored 2544770 3805
build-model-states-explored 2548523 3753
build-model-states-explored 2552294 3771
build-model-states-explored 2556062 3768
build-model-states-explored 2559862 3800
build-model-states-explored 2563651 3789
build-model-states-explored 2567473 3822
build-model-states-explored 2571293 3820
build-model-states-explored 2575099 3806
build-model-states-explored 2578897 3798
build-model-states-explored 2582710 3813
build-model-states-explored 2586505 3795
build-model-states-explored 2590310 3805
build-model-states-explored 2594115 3805
build-model-states-explored 2597915 3800
build-model-states-explored 2601701 3786
build-model-states-explored 2605507 3806
build-model-states-explored 2609313 3806
build-model-states-explored 2613111 3798
build-model-states-explored 2616916 3805
build-model-states-explored 2620712 3796
build-model-states-explored 2624842 4130
build-model-states-explored 2629202 4360
build-model-states-explored 2633560 4358
build-model-states-explored 2637944 4384
build-model-states-explored 2642335 4391
build-model-states-explored 2646734 4399
build-model-states-explored 2651133 4399
build-model-states-explored 2655521 4388
build-model-states-explored 2659907 4386
build-model-states-explored 2664281 4374
build-model-states-explored 2667864 3583
build-model-states-explored 2671266 3402
build-model-states-explored 2674665 3399
build-model-states-explored 2678062 3397
build-model-states-explored 2681458 3396
build-model-states-explored 2684857 3399
build-model-states-explored 2688259 3402
build-model-states-explored 2691654 3395
build-model-states-explored 2695050 3396
build-model-states-explored 2698447 3397
build-model-states-explored 2701843 3396
build-model-states-explored 2705244 3401
build-model-states-explored 2708640 3396
build-model-states-explored 2712040 3400
build-model-states-explored 2715444 3404
build-model-states-explored 2718840 3396
build-model-states-explored 2722238 3398
build-model-states-explored 2725639 3401
build-model-states-explored 2729036 3397
build-model-states-explored 2732437 3401
build-model-states-explored 2735844 3407
build-model-states-explored 2739248 3404
build-model-states-explored 2742642 3394
build-model-states-explored 2746039 3397
build-model-states-explored 2749431 3392
build-model-states-explored 2752828 3397
build-model-states-explored 2756227 3399
build-model-states-explored 2759630 3403
build-model-states-explored 2763027 3397
build-model-states-explored 2766426 3399
build-model-states-explored 2769831 3405
build-model-states-explored 2773225 3394
build-model-states-explored 2776625 3400
build-model-states-explored 2780019 3394
build-model-states-explored 2783423 3404
build-model-states-explored 2786814 3391
build-model-states-explored 2790216 3402
build-model-states-explored 2793611 3395
build-model-states-explored 2797010 3399
build-model-states-explored 2800411 3401
build-model-states-explored 2803809 3398
build-model-states-explored 2807218 3409
build-model-states-explored 2810622 3404
build-model-states-explored 2814025 3403
build-model-states-explored 2817428 3403
build-model-states-explored 2820824 3396
build-model-states-explored 2824221 3397
build-model-states-explored 2827620 3399
build-model-states-explored 2831023 3403
build-model-states-explored 2834423 3400
build-model-states-explored 2837814 3391
build-model-states-explored 2841214 3400
build-model-states-explored 2844598 3384
build-model-states-explored 2848004 3406
build-model-states-explored 2851399 3395
build-model-states-explored 2854805 3406
build-model-states-explored 2858204 3399
build-model-states-explored 2861605 3401
build-model-states-explored 2865002 3397
build-model-states-explored 2868403 3401
build-model-states-explored 2871799 3396
build-model-states-explored 2875196 3397
build-model-states-explored 2878591 3395
build-model-states-explored 2881992 3401
build-model-states-explored 2885270 3278
build-model-states-explored 2888611 3341
build-model-states-explored 2892013 3402
build-model-states-explored 2895408 3395
build-model-states-explored 2898800 3392
build-model-states-explored 2902193 3393
build-model-states-explored 2905590 3397
build-model-states-explored 2908993 3403
build-model-states-explored 2912390 3397
build-model-states-explored 2915789 3399
build-model-states-explored 2919191 3402
build-model-states-explored 2922598 3407
build-model-states-explored 2926002 3404
build-model-states-explored 2929405 3403
build-model-states-explored 2932806 3401
build-model-states-explored 2936202 3396
build-model-states-explored 2939598 3396
build-model-states-explored 2943000 3402
build-model-states-explored 2946402 3402
build-model-states-explored 2949804 3402
build-model-states-explored 2953200 3396
build-model-states-explored 2956599 3399
build-model-states-explored 2959994 3395
build-model-states-explored 2963384 3390
build-model-states-explored 2966777 3393
build-model-states-explored 2970167 3390
build-model-states-explored 2973573 3406
build-model-states-explored 2976973 3400
build-model-states-explored 2980380 3407
build-model-states-explored 2983783 3403
build-model-states-explored 2987185 3402
build-model-states-explored 2990578 3393
build-model-states-explored 2993979 3401
build-model-states-explored 2997378 3399
build-model-states-explored 3000780 3402
build-model-states-explored 3004178 3398
build-model-states-explored 3007572 3394
build-model-states-explored 3010974 3402
build-model-states-explored 3014373 3399
build-model-states-explored 3017769 3396
build-model-states-explored 3021171 3402
build-model-states-explored 3024568 3397
build-model-states-explored 3027970 3402
build-model-states-explored 3031377 3407
build-model-states-explored 3034776 3399
build-model-states-explored 3038169 3393
build-model-states-explored 3041564 3395
build-model-states-explored 3044964 3400
build-model-states-explored 3048362 3398
build-model-states-explored 3051759 3397
build-model-states-explored 3055164 3405
build-model-states-explored 3058558 3394
build-model-states-explored 3061955 3397
build-model-states-explored 3065357 3402
build-model-states-explored 3068757 3400
build-model-states-explored 3072148 3391
build-model-states-explored 3075547 3399
build-model-states-explored 3078944 3397
build-model-states-explored 3082341 3397
build-model-states-explored 3085403 3062
build-model-states-explored 3088382 2979
build-model-states-explored 3091782 3400
build-model-states-explored 3095183 3401
build-model-states-explored 3098578 3395
build-model-states-explored 3101970 3392
build-model-states-explored 3105363 3393
build-model-states-explored 3108722 3359
build-model-states-explored 3112112 3390
build-model-states-explored 3115511 3399
build-model-states-explored 3118901 3390
build-model-states-explored 3122295 3394
build-model-states-explored 3125651 3356
build-model-states-explored 3128989 3338
build-model-states-explored 3132370 3381
build-model-states-explored 3135736 3366
build-model-states-explored 3139092 3356
build-model-states-explored 3142453 3361
build-model-states-explored 3145852 3399
build-model-states-explored 3149246 3394
build-model-states-explored 3152643 3397
build-model-states-explored 3156044 3401
build-model-states-explored 3159440 3396
build-model-states-explored 3162840 3400
build-model-states-explored 3166237 3397
build-model-states-explored 3169632 3395
build-model-states-explored 3173036 3404
build-model-states-explored 3176432 3396
build-model-states-explored 3180381 3949
build-model-states-explored 3184730 4349
build-model-states-explored 3189097 4367
build-model-states-explored 3193472 4375
build-model-states-explored 3197848 4376
build-model-states-explored 3202237 4389
build-model-states-explored 3206617 4380
build-model-states-explored 3211013 4396
build-model-states-explored 3215403 4390
build-model-states-explored 3219784 4381
build-model-states-explored 3224183 4399
build-model-states-explored 3228582 4399
build-model-states-explored 3232983 4401
build-model-states-explored 3237372 4389
build-model-states-explored 3241770 4398
build-model-states-explored 3246169 4399
build-model-states-explored 3250547 4378
build-model-states-explored 3254922 4375
build-model-states-explored 3259295 4373
build-model-states-explored 3263692 4397
build-model-states-explored 3268088 4396
build-model-states-explored 3272463 4375
build-model-states-explored 3276864 4401
build-model-states-explored 3281252 4388
build-model-states-explored 3285622 4370
build-model-states-explored 3290011 4389
build-model-states-explored 3294397 4386
build-model-states-explored 3298778 4381
build-model-states-explored 3303183 4405
build-model-states-explored 3307563 4380
build-model-states-explored 3311964 4401
build-model-states-explored 3316362 4398
build-model-states-explored 3320725 4363
build-model-states-explored 3325074 4349
build-model-states-explored 3329431 4357
build-model-states-explored 3333799 4368
build-model-states-explored 3338203 4404
build-model-states-explored 3338253 50
build-model-states-explored 3338253 0
build-model-states-explored 3338503 250
build-model-states-explored 3342880 4377
build-model-states-explored 3347289 4409
build-model-states-explored 3351655 4366
build-model-states-explored 3356048 4393
build-model-states-explored 3360449 4401
build-model-states-explored 3364844 4395
build-model-states-explored 3369249 4405
build-model-states-explored 3373653 4404
build-model-states-explored 3378037 4384
build-model-states-explored 3382409 4372
build-model-states-explored 3386790 4381
build-model-states-explored 3391184 4394
build-model-states-explored 3395563 4379
build-model-states-explored 3399953 4390
build-model-states-explored 3404323 4370
build-model-states-explored 3408701 4378
build-model-states-explored 3413064 4363
build-model-states-explored 3417443 4379
build-model-states-explored 3421846 4403
build-model-states-explored 3426252 4406
build-model-states-explored 3430635 4383
build-model-states-explored 3435022 4387
build-model-states-explored 3439301 4279
build-model-states-explored 3442697 3396
build-model-states-explored 3446095 3398
build-model-states-explored 3449492 3397
build-model-states-explored 3452883 3391
build-model-states-explored 3456282 3399
build-model-states-explored 3459681 3399
build-model-states-explored 3463073 3392
build-model-states-explored 3466471 3398
build-model-states-explored 3469868 3397
build-model-states-explored 3473264 3396
build-model-states-explored 3476664 3400
build-model-states-explored 3480062 3398
build-model-states-explored 3483452 3390
build-model-states-explored 3486852 3400
build-model-states-explored 3490252 3400
build-model-states-explored 3493648 3396
build-model-states-explored 3497051 3403
build-model-states-explored 3500456 3405
build-model-states-explored 3503845 3389
build-model-states-explored 3507247 3402
build-model-states-explored 3510642 3395
build-model-states-explored 3514035 3393
build-model-states-explored 3517435 3400
build-model-states-explored 3520837 3402
build-model-states-explored 3524235 3398
build-model-states-explored 3527634 3399
build-model-states-explored 3531032 3398
build-model-states-explored 3534432 3400
build-model-states-explored 3537835 3403
build-model-states-explored 3541240 3405
build-model-states-explored 3544644 3404
build-model-states-explored 3548044 3400
build-model-states-explored 3551440 3396
build-model-states-explored 3554834 3394
build-model-states-explored 3558234 3400
build-model-states-explored 3561634 3400
build-model-states-explored 3565025 3391
build-model-states-explored 3568415 3390
build-model-states-explored 3571815 3400
build-model-states-explored 3575206 3391
build-model-states-explored 3578605 3399
build-model-states-explored 3581995 3390
build-model-states-explored 3585383 3388
build-model-states-explored 3588780 3397
build-model-states-explored 3592170 3390
build-model-states-explored 3595566 3396
build-model-states-explored 3598956 3390
build-model-states-explored 3602347 3391
build-model-states-explored 3605749 3402
build-model-states-explored 3609149 3400
build-model-states-explored 3612546 3397
build-model-states-explored 3615939 3393
build-model-states-explored 3619346 3407
build-model-states-explored 3622749 3403
build-model-states-explored 3626146 3397
build-model-states-explored 3629553 3407
build-model-states-explored 3632957 3404
build-model-states-explored 3636358 3401
build-model-states-explored 3639757 3399
build-model-states-explored 3643155 3398
build-model-states-explored 3646552 3397
build-model-states-explored 3649948 3396
build-model-states-explored 3653349 3401
build-model-states-explored 3656747 3398
build-model-states-explored 3660144 3397
build-model-states-explored 3663530 3386
build-model-states-explored 3666922 3392
build-model-states-explored 3670319 3397
build-model-states-explored 3673714 3395
build-model-states-explored 3677109 3395
build-model-states-explored 3680503 3394
build-model-states-explored 3683898 3395
build-model-states-explored 3687292 3394
build-model-states-explored 3690687 3395
build-model-states-explored 3694077 3390
build-model-states-explored 3697469 3392
build-model-states-explored 3700862 3393
build-model-states-explored 3704257 3395
build-model-states-explored 3707650 3393
build-model-states-explored 3711045 3395
build-model-states-explored 3714439 3394
build-model-states-explored 3717828 3389
build-model-states-explored 3721225 3397
build-model-states-explored 3724624 3399
build-model-states-explored 3728020 3396
build-model-states-explored 3731417 3397
build-model-states-explored 3734817 3400
build-model-states-explored 3738213 3396
build-model-states-explored 3741609 3396
build-model-states-explored 3745011 3402
build-model-states-explored 3748410 3399
build-model-states-explored 3751805 3395
build-model-states-explored 3755201 3396
build-model-states-explored 3758597 3396
build-model-states-explored 3761997 3400
build-model-states-explored 3765397 3400
build-model-states-explored 3768796 3399
build-model-states-explored 3772193 3397
build-model-states-explored 3775592 3399
build-model-states-explored 3778984 3392
build-model-states-explored 3782379 3395
build-model-states-explored 3785776 3397
build-model-states-explored 3789169 3393
build-model-states-explored 3792565 3396
build-model-states-explored 3795963 3398
build-model-states-explored 3799361 3398
build-model-states-explored 3802761 3400
build-model-states-explored 3806158 3397
build-model-states-explored 3809484 3326
build-model-states-explored 3812881 3397
build-model-states-explored 3816277 3396
build-model-states-explored 3819675 3398
build-model-states-explored 3823073 3398
build-model-states-explored 3826471 3398
build-model-states-explored 3829854 3383
build-model-states-explored 3833250 3396
build-model-states-explored 3836648 3398
build-model-states-explored 3840033 3385
build-model-states-explored 3843426 3393
build-model-states-explored 3846815 3389
build-model-states-explored 3850211 3396
build-model-states-explored 3853607 3396
build-model-states-explored 3857001 3394
build-model-states-explored 3860392 3391
build-model-states-explored 3863790 3398
build-model-states-explored 3867184 3394
build-model-states-explored 3870585 3401
build-model-states-explored 3873979 3394
build-model-states-explored 3877378 3399
build-model-states-explored 3880774 3396
build-model-states-explored 3884172 3398
build-model-states-explored 3887556 3384
build-model-states-explored 3890950 3394
build-model-states-explored 3894346 3396
build-model-states-explored 3897742 3396
build-model-states-explored 3901136 3394
build-model-states-explored 3904531 3395
build-model-states-explored 3907930 3399
build-model-states-explored 3911327 3397
build-model-states-explored 3914727 3400
build-model-states-explored 3918129 3402
build-model-states-explored 3921527 3398
build-model-states-explored 3924923 3396
build-model-states-explored 3928324 3401
build-model-states-explored 3931720 3396
build-model-states-explored 3935122 3402
build-model-states-explored 3938520 3398
build-model-states-explored 3941909 3389
build-model-states-explored 3945306 3397
build-model-states-explored 3948702 3396
build-model-states-explored 3952097 3395
build-model-states-explored 3955492 3395
build-model-states-explored 3958887 3395
build-model-states-explored 3962282 3395
build-model-states-explored 3965676 3394
build-model-states-explored 3969069 3393
build-model-states-explored 3972465 3396
build-model-states-explored 3975860 3395
build-model-states-explored 3979251 3391
build-model-states-explored 3982642 3391
build-model-states-explored 3986031 3389
build-model-states-explored 3989422 3391
build-model-states-explored 3992813 3391
build-model-states-explored 3996210 3397
build-model-states-explored 3999609 3399
build-model-states-explored 4003009 3400
build-model-states-explored 4006406 3397
build-model-states-explored 4009807 3401
build-model-states-explored 4013736 3929
build-model-states-explored 4018109 4373
build-model-states-explored 4022461 4352
build-model-states-explored 4026824 4363
build-model-states-explored 4031207 4383
build-model-states-explored 4035576 4369
build-model-states-explored 4039965 4389
build-model-states-explored 4044334 4369
build-model-states-explored 4048737 4403
build-model-states-explored 4053110 4373
build-model-states-explored 4057492 4382
build-model-states-explored 4061885 4393
build-model-states-explored 4066267 4382
build-model-states-explored 4070670 4403
build-model-states-explored 4075056 4386
build-model-states-explored 4079424 4368
build-model-states-explored 4083811 4387
build-model-states-explored 4088206 4395
build-model-states-explored 4092611 4405
build-model-states-explored 4096995 4384
build-model-states-explored 4101381 4386
build-model-states-explored 4105790 4409
build-model-states-explored 4110194 4404
build-model-states-explored 4114576 4382
build-model-states-explored 4118951 4375
build-model-states-explored 4123331 4380
build-model-states-explored 4127728 4397
build-model-states-explored 4132123 4395
build-model-states-explored 4136505 4382
build-model-states-explored 4140878 4373
build-model-states-explored 4145259 4381
build-model-states-explored 4149649 4390
build-model-states-explored 4154054 4405
build-model-states-explored 4158450 4396
build-model-states-explored 4162840 4390
build-model-states-explored 4167225 4385
build-model-states-explored 4171625 4400
build-model-states-explored 4176009 4384
build-model-states-explored 4180417 4408
build-model-states-explored 4184819 4402
build-model-states-explored 4189166 4347
build-model-states-explored 4193519 4353
build-model-states-explored 4196956 3437
build-model-states-explored 4201327 4371
build-model-states-explored 4205712 4385
build-model-states-explored 4210101 4389
build-model-states-explored 4214454 4353
build-model-states-explored 4218854 4400
build-model-states-explored 4223162 4308
build-model-states-explored 4227540 4378
build-model-states-explored 4231939 4399
build-model-states-explored 4236325 4386
build-model-states-explored 4240706 4381
build-model-states-explored 4245072 4366
build-model-states-explored 4249398 4326
build-model-states-explored 4253754 4356
build-model-states-explored 4258114 4360
build-model-states-explored 4262452 4338
build-model-states-explored 4266772 4320
build-model-states-explored 4271139 4367
build-model-states-explored 4275498 4359
build-model-states-explored 4279871 4373
build-model-states-explored 4284264 4393
build-model-states-explored 4288650 4386
build-model-states-explored 4293041 4391
build-model-states-explored 4297423 4382
build-model-states-explored 4301214 3791
build-model-states-explored 4304607 3393
build-model-states-explored 4307995 3388
build-model-states-explored 4311387 3392
build-model-states-explored 4314786 3399
build-model-states-explored 4318183 3397
build-model-states-explored 4321581 3398
build-model-states-explored 4324978 3397
build-model-states-explored 4328371 3393
build-model-states-explored 4331764 3393
build-model-states-explored 4335162 3398
build-model-states-explored 4338548 3386
build-model-states-explored 4341943 3395
build-model-states-explored 4345333 3390
build-model-states-explored 4348726 3393
build-model-states-explored 4352123 3397
build-model-states-explored 4355519 3396
build-model-states-explored 4358919 3400
build-model-states-explored 4362313 3394
build-model-states-explored 4365705 3392
build-model-states-explored 4369103 3398
build-model-states-explored 4372502 3399
build-model-states-explored 4375895 3393
build-model-states-explored 4379291 3396
build-model-states-explored 4382684 3393
build-model-states-explored 4386076 3392
build-model-states-explored 4389473 3397
build-model-states-explored 4392865 3392
build-model-states-explored 4396269 3404
build-model-states-explored 4399674 3405
build-model-states-explored 4403066 3392
build-model-states-explored 4406465 3399
build-model-states-explored 4409863 3398
build-model-states-explored 4413256 3393
build-model-states-explored 4416656 3400
build-model-states-explored 4420058 3402
build-model-states-explored 4423454 3396
build-model-states-explored 4426845 3391
build-model-states-explored 4430238 3393
build-model-states-explored 4433639 3401
build-model-states-explored 4437040 3401
build-model-states-explored 4440443 3403
build-model-states-explored 4443848 3405
build-model-states-explored 4447249 3401
build-model-states-explored 4450648 3399
build-model-states-explored 4454047 3399
build-model-states-explored 4457453 3406
build-model-states-explored 4460856 3403
build-model-states-explored 4464251 3395
build-model-states-explored 4467641 3390
build-model-states-explored 4471039 3398
build-model-states-explored 4474439 3400
build-model-states-explored 4477840 3401
build-model-states-explored 4481236 3396
build-model-states-explored 4484626 3390
build-model-states-explored 4488017 3391
build-model-states-explored 4491413 3396
build-model-states-explored 4494809 3396
build-model-states-explored 4498205 3396
build-model-states-explored 4501601 3396
build-model-states-explored 4504998 3397
build-model-states-explored 4508401 3403
build-model-states-explored 4511800 3399
build-model-states-explored 4515195 3395
build-model-states-explored 4518597 3402
build-model-states-explored 4521998 3401
build-model-states-explored 4525400 3402
build-model-states-explored 4528805 3405
build-model-states-explored 4532208 3403
build-model-states-explored 4535607 3399
build-model-states-explored 4539012 3405
build-model-states-explored 4542407 3395
build-model-states-explored 4545808 3401
build-model-states-explored 4549206 3398
build-model-states-explored 4552601 3395
build-model-states-explored 4555992 3391
build-model-states-explored 4559389 3397
build-model-states-explored 4562782 3393
build-model-states-explored 4566177 3395
build-model-states-explored 4569579 3402
build-model-states-explored 4572975 3396
build-model-states-explored 4576374 3399
build-model-states-explored 4579770 3396
build-model-states-explored 4583171 3401
build-model-states-explored 4586562 3391
build-model-states-explored 4589957 3395
build-model-states-explored 4593352 3395
build-model-states-explored 4596748 3396
build-model-states-explored 4600147 3399
build-model-states-explored 4603541 3394
build-model-states-explored 4606938 3397
build-model-states-explored 4610335 3397
build-model-states-explored 4613732 3397
build-model-states-explored 4617130 3398
build-model-states-explored 4620532 3402
build-model-states-explored 4623933 3401
build-model-states-explored 4627329 3396
build-model-states-explored 4630726 3397
build-model-states-explored 4634126 3400
build-model-states-explored 4637523 3397
build-model-states-explored 4640920 3397
build-model-states-explored 4644311 3391
build-model-states-explored 4647703 3392
build-model-states-explored 4651101 3398
build-model-states-explored 4654494 3393
build-model-states-explored 4657887 3393
build-model-states-explored 4661282 3395
build-model-states-explored 4664679 3397
build-model-states-explored 4668078 3399
build-model-states-explored 4671480 3402
build-model-states-explored 4674880 3400
build-model-states-explored 4678278 3398
build-model-states-explored 4681673 3395
build-model-states-explored 4685073 3400
build-model-states-explored 4688467 3394
build-model-states-explored 4691866 3399
build-model-states-explored 4695265 3399
build-model-states-explored 4698657 3392
build-model-states-explored 4702054 3397
build-model-states-explored 4705449 3395
build-model-states-explored 4708826 3377
build-model-states-explored 4712220 3394
build-model-states-explored 4715615 3395
build-model-states-explored 4719011 3396
build-model-states-explored 4722405 3394
build-model-states-explored 4725807 3402
build-model-states-explored 4729198 3391
build-model-states-explored 4732595 3397
build-model-states-explored 4735989 3394
build-model-states-explored 4739380 3391
build-model-states-explored 4742764 3384
build-model-states-explored 4746158 3394
build-model-states-explored 4749547 3389
build-model-states-explored 4752940 3393
build-model-states-explored 4756331 3391
build-model-states-explored 4759723 3392
build-model-states-explored 4763121 3398
build-model-states-explored 4766519 3398
build-model-states-explored 4769915 3396
build-model-states-explored 4773305 3390
build-model-states-explored 4776702 3397
build-model-states-explored 4780096 3394
build-model-states-explored 4783488 3392
build-model-states-explored 4786884 3396
build-model-states-explored 4790282 3398
build-model-states-explored 4793686 3404
build-model-states-explored 4797084 3398
build-model-states-explored 4800479 3395
build-model-states-explored 4803862 3383
build-model-states-explored 4807257 3395
build-model-states-explored 4810652 3395
build-model-states-explored 4814042 3390
build-model-states-explored 4817440 3398
build-model-states-explored 4820834 3394
build-model-states-explored 4824226 3392
build-model-states-explored 4827620 3394
build-model-states-explored 4831005 3385
build-model-states-explored 4834397 3392
build-model-states-explored 4837792 3395
build-model-states-explored 4841188 3396
build-model-states-explored 4844585 3397
build-model-states-explored 4847983 3398
build-model-states-explored 4851350 3367
build-model-states-explored 4854753 3403
build-model-states-explored 4858149 3396
build-model-states-explored 4861552 3403
build-model-states-explored 4864949 3397
build-model-states-explored 4868344 3395
build-model-states-explored 4871730 3386
build-model-states-explored 4875127 3397
build-model-states-explored 4878523 3396
build-model-states-explored 4881916 3393
build-model-states-explored 4885309 3393
build-model-states-explored 4888708 3399
build-model-states-explored 4892100 3392
build-model-states-explored 4895497 3397
build-model-states-explored 4898888 3391
build-model-states-explored 4902278 3390
build-model-states-explored 4905675 3397
build-model-states-explored 4909073 3398
build-model-states-explored 4912469 3396
build-model-states-explored 4915863 3394
build-model-states-explored 4919260 3397
build-model-states-explored 4923467 4207
build-model-states-explored 4927823 4356
build-model-states-explored 4932195 4372
build-model-states-explored 4936546 4351
build-model-states-explored 4940917 4371
build-model-states-explored 4945290 4373
build-model-states-explored 4949671 4381
build-model-states-explored 4954050 4379
build-model-states-explored 4958445 4395
build-model-states-explored 4962827 4382
build-model-states-explored 4967220 4393
build-model-states-explored 4971588 4368
build-model-states-explored 4976006 4418
build-model-states-explored 4980364 4358
build-model-states-explored 4984742 4378
build-model-states-explored 4989107 4365
build-model-states-explored 4993490 4383
build-model-states-explored 4997871 4381
build-model-states-explored 5002266 4395
build-model-states-explored 5006654 4388
build-model-states-explored 5011030 4376
build-model-states-explored 5015402 4372
build-model-states-explored 5019793 4391
build-model-states-explored 5024183 4390
build-model-states-explored 5028559 4376
build-model-states-explored 5032964 4405
build-model-states-explored 5037342 4378
build-model-states-explored 5041726 4384
build-model-states-explored 5046132 4406
build-model-states-explored 5050535 4403
build-model-states-explored 5054907 4372
build-model-states-explored 5059306 4399
build-model-states-explored 5063679 4373
build-model-states-explored 5068048 4369
build-model-states-explored 5072451 4403
build-model-states-explored 5076830 4379
build-model-states-explored 5081203 4373
build-model-states-explored 5085579 4376
build-model-states-explored 5089959 4380
build-model-states-explored 5094335 4376
build-model-states-explored 5098726 4391
build-model-states-explored 5103137 4411
build-model-states-explored 5107535 4398
build-model-states-explored 5111927 4392
build-model-states-explored 5116321 4394
build-model-states-explored 5120717 4396
build-model-states-explored 5125108 4391
build-model-states-explored 5129517 4409
build-model-states-explored 5133892 4375
build-model-states-explored 5138239 4347
build-model-states-explored 5142589 4350
build-model-states-explored 5146964 4375
build-model-states-explored 5151353 4389
build-model-states-explored 5155721 4368
build-model-states-explored 5160094 4373
build-model-states-explored 5164481 4387
build-model-states-explored 5168852 4371
build-model-states-explored 5173209 4357
build-model-states-explored 5177607 4398
build-model-states-explored 5181979 4372
build-model-states-explored 5186380 4401
build-model-states-explored 5190765 4385
build-model-states-explored 5195134 4369
build-model-states-explored 5199519 4385
build-model-states-explored 5203896 4377
build-model-states-explored 5208262 4366
build-model-states-explored 5212621 4359
build-model-states-explored 5216993 4372
build-model-states-explored 5221361 4368
build-model-states-explored 5225741 4380
build-model-states-explored 5229995 4254
build-model-states-explored 5233394 3399
build-model-states-explored 5236791 3397
build-model-states-explored 5240189 3398
build-model-states-explored 5243587 3398
build-model-states-explored 5246983 3396
build-model-states-explored 5250379 3396
build-model-states-explored 5253781 3402
build-model-states-explored 5257175 3394
build-model-states-explored 5260571 3396
build-model-states-explored 5263966 3395
build-model-states-explored 5267362 3396
build-model-states-explored 5270760 3398
build-model-states-explored 5274158 3398
build-model-states-explored 5277554 3396
build-model-states-explored 5280952 3398
build-model-states-explored 5284347 3395
build-model-states-explored 5287742 3395
build-model-states-explored 5291133 3391
build-model-states-explored 5294526 3393
build-model-states-explored 5297920 3394
build-model-states-explored 5301320 3400
build-model-states-explored 5304717 3397
build-model-states-explored 5308110 3393
build-model-states-explored 5311506 3396
build-model-states-explored 5314900 3394
build-model-states-explored 5318293 3393
build-model-states-explored 5321685 3392
build-model-states-explored 5325082 3397
build-model-states-explored 5328418 3336
build-model-states-explored 5331811 3393
build-model-states-explored 5335207 3396
build-model-states-explored 5338593 3386
build-model-states-explored 5341988 3395
build-model-states-explored 5345363 3375
build-model-states-explored 5348712 3349
build-model-states-explored 5352090 3378
build-model-states-explored 5355456 3366
build-model-states-explored 5358815 3359
build-model-states-explored 5362169 3354
build-model-states-explored 5365561 3392
build-model-states-explored 5368949 3388
build-model-states-explored 5372350 3401
build-model-states-explored 5375749 3399
build-model-states-explored 5379142 3393
build-model-states-explored 5382542 3400
build-model-states-explored 5385943 3401
build-model-states-explored 5389339 3396
build-model-states-explored 5392736 3397
build-model-states-explored 5396121 3385
build-model-states-explored 5399507 3386
build-model-states-explored 5402894 3387
build-model-states-explored 5406289 3395
build-model-states-explored 5409690 3401
build-model-states-explored 5413090 3400
build-model-states-explored 5416487 3397
build-model-states-explored 5419887 3400
build-model-states-explored 5423295 3408
build-model-states-explored 5426690 3395
build-model-states-explored 5430091 3401
build-model-states-explored 5433488 3397
build-model-states-explored 5436886 3398
build-model-states-explored 5440275 3389
build-model-states-explored 5443666 3391
build-model-states-explored 5447068 3402
build-model-states-explored 5450464 3396
build-model-states-explored 5453859 3395
build-model-states-explored 5457247 3388
build-model-states-explored 5460626 3379
build-model-states-explored 5464022 3396
build-model-states-explored 5467421 3399
build-model-states-explored 5470817 3396
build-model-states-explored 5474220 3403
build-model-states-explored 5477619 3399
build-model-states-explored 5481016 3397
build-model-states-explored 5484413 3397
build-model-states-explored 5487813 3400
build-model-states-explored 5491215 3402
build-model-states-explored 5494618 3403
build-model-states-explored 5498019 3401
build-model-states-explored 5501421 3402
build-model-states-explored 5504819 3398
build-model-states-explored 5508213 3394
build-model-states-explored 5511616 3403
build-model-states-explored 5515015 3399
build-model-states-explored 5518412 3397
build-model-states-explored 5521803 3391
build-model-states-explored 5525193 3390
build-model-states-explored 5528595 3402
build-model-states-explored 5531990 3395
build-model-states-explored 5535390 3400
build-model-states-explored 5538789 3399
build-model-states-explored 5542188 3399
build-model-states-explored 5545582 3394
build-model-states-explored 5548984 3402
build-model-states-explored 5552380 3396
build-model-states-explored 5555775 3395
build-model-states-explored 5559170 3395
build-model-states-explored 5562563 3393
build-model-states-explored 5565951 3388
build-model-states-explored 5569345 3394
build-model-states-explored 5572737 3392
build-model-states-explored 5576130 3393
build-model-states-explored 5579523 3393
build-model-states-explored 5582923 3400
build-model-states-explored 5586322 3399
build-model-states-explored 5589721 3399
build-model-states-explored 5593116 3395
build-model-states-explored 5596508 3392
build-model-states-explored 5599906 3398
build-model-states-explored 5603309 3403
build-model-states-explored 5606704 3395
build-model-states-explored 5610107 3403
build-model-states-explored 5613507 3400
build-model-states-explored 5616901 3394
build-model-states-explored 5620298 3397
build-model-states-explored 5623692 3394
build-model-states-explored 5627088 3396
build-model-states-explored 5630490 3402
build-model-states-explored 5633883 3393
build-model-states-explored 5637280 3397
build-model-states-explored 5640675 3395
build-model-states-explored 5644071 3396
build-model-states-explored 5647468 3397
build-model-states-explored 5650865 3397
build-model-states-explored 5654260 3395
build-model-states-explored 5657657 3397
build-model-states-explored 5661057 3400
build-model-states-explored 5664454 3397
build-model-states-explored 5667848 3394
build-model-states-explored 5671239 3391
build-model-states-explored 5674625 3386
build-model-states-explored 5678025 3400
build-model-states-explored 5681422 3397
build-model-states-explored 5684820 3398
build-model-states-explored 5688206 3386
build-model-states-explored 5691601 3395
build-model-states-explored 5694993 3392
build-model-states-explored 5698393 3400
build-model-states-explored 5701791 3398
build-model-states-explored 5705178 3387
build-model-states-explored 5708575 3397
build-model-states-explored 5711972 3397
build-model-states-explored 5715364 3392
build-model-states-explored 5718760 3396
build-model-states-explored 5722155 3395
build-model-states-explored 5725550 3395
build-model-states-explored 5728948 3398
build-model-states-explored 5732332 3384
build-model-states-explored 5735724 3392
build-model-states-explored 5739119 3395
build-model-states-explored 5742514 3395
build-model-states-explored 5745910 3396
build-model-states-explored 5749305 3395
build-model-states-explored 5752702 3397
build-model-states-explored 5756096 3394
build-model-states-explored 5759492 3396
build-model-states-explored 5762886 3394
build-model-states-explored 5766280 3394
build-model-states-explored 5769681 3401
build-model-states-explored 5773074 3393
build-model-states-explored 5776467 3393
build-model-states-explored 5779868 3401
build-model-states-explored 5783266 3398
build-model-states-explored 5786665 3399
build-model-states-explored 5790055 3390
build-model-states-explored 5793445 3390
build-model-states-explored 5796843 3398
build-model-states-explored 5800240 3397
build-model-states-explored 5803642 3402
build-model-states-explored 5807033 3391
build-model-states-explored 5810426 3393
build-model-states-explored 5813821 3395
build-model-states-explored 5817220 3399
build-model-states-explored 5820610 3390
build-model-states-explored 5824005 3395
build-model-states-explored 5827296 3291
build-model-states-explored 5830690 3394
build-model-states-explored 5834087 3397
build-model-states-explored 5837485 3398
build-model-states-explored 5840885 3400
build-model-states-explored 5844281 3396
build-model-states-explored 5847674 3393
build-model-states-explored 5851061 3387
build-model-states-explored 5854455 3394
build-model-states-explored 5857850 3395
build-model-states-explored 5861243 3393
build-model-states-explored 5864638 3395
build-model-states-explored 5868032 3394
build-model-states-explored 5871429 3397
build-model-states-explored 5874822 3393
build-model-states-explored 5878212 3390
build-model-states-explored 5881609 3397
build-model-states-explored 5885747 4138
build-model-states-explored 5890112 4365
build-model-states-explored 5894474 4362
build-model-states-explored 5898856 4382
build-model-states-explored 5903226 4370
build-model-states-explored 5907581 4355
build-model-states-explored 5911938 4357
build-model-states-explored 5916312 4374
build-model-states-explored 5920689 4377
build-model-states-explored 5925082 4393
build-model-states-explored 5929460 4378
build-model-states-explored 5933847 4387
build-model-states-explored 5938220 4373
build-model-states-explored 5942615 4395
build-model-states-explored 5947017 4402
build-model-states-explored 5951407 4390
build-model-states-explored 5955206 3799
build-model-states-explored 5959575 4369
build-model-states-explored 5963971 4396
build-model-states-explored 5968355 4384
build-model-states-explored 5972739 4384
build-model-states-explored 5977115 4376
build-model-states-explored 5981471 4356
build-model-states-explored 5985867 4396
build-model-states-explored 5990250 4383
build-model-states-explored 5994626 4376
build-model-states-explored 5999031 4405
build-model-states-explored 6003421 4390
build-model-states-explored 6007812 4391
build-model-states-explored 6012196 4384
build-model-states-explored 6016602 4406
build-model-states-explored 6020996 4394
build-model-states-explored 6025373 4377
build-model-states-explored 6029780 4407
build-model-states-explored 6034163 4383
build-model-states-explored 6038533 4370
build-model-states-explored 6042924 4391
build-model-states-explored 6047318 4394
build-model-states-explored 6051702 4384
build-model-states-explored 6056087 4385
build-model-states-explored 6060491 4404
build-model-states-explored 6064874 4383
build-model-states-explored 6069250 4376
build-model-states-explored 6073638 4388
build-model-states-explored 6078003 4365
build-model-states-explored 6082373 4370
build-model-states-explored 6086751 4378
build-model-states-explored 6089798 3047
build-model-states-explored 6093449 3651
build-model-states-explored 6097816 4367
build-model-states-explored 6102221 4405
build-model-states-explored 6106627 4406
build-model-states-explored 6111008 4381
build-model-states-explored 6115406 4398
build-model-states-explored 6119821 4415
build-model-states-explored 6124203 4382
build-model-states-explored 6128611 4408
build-model-states-explored 6132950 4339
build-model-states-explored 6137294 4344
build-model-states-explored 6141662 4368
build-model-states-explored 6146046 4384
build-model-states-explored 6150420 4374
build-model-states-explored 6154812 4392
build-model-states-explored 6159184 4372
build-model-states-explored 6163563 4379
build-model-states-explored 6167958 4395
build-model-states-explored 6172342 4384
build-model-states-explored 6176745 4403
build-model-states-explored 6181122 4377
build-model-states-explored 6185518 4396
build-model-states-explored 6189898 4380
build-model-states-explored 6194247 4349
build-model-states-explored 6198613 4366
build-model-states-explored 6202987 4374
build-model-states-explored 6206835 3848
build-model-states-explored 6210232 3397
----------
Computation aborted after 1800.0441205501556 seconds since the total time limit of 1800 seconds was exceeded.